Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c

Source URL: infoscience.epfl.ch

• Computing
• Computer programming
• Software engineering
• File sharing
• Distributed computing
• Lambda calculus
• Logic in computer science
• Network architecture
• OCaml
• Combinatory logic
• Gossip protocol
• Peer-to-peer

Newman’s Typability Algorithm Herman Geuvers1 Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Theoretical computer science
• Formal methods
• Mathematical logic
• Computability theory
• Type theory
• Algorithm
• Lambda calculus
• Combinatory logic
• Set theory
• Gottlob Frege
• Ernst Zermelo

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions Kazutaka Matsuda* Zhenjiang Hu*, Keisuke Nakano* Makoto Hamana**, Masato Takeichi*

Source URL: www2.sf.ecei.tohoku.ac.jp

• Lambda calculus
• Bidirectionalization
• Database theory
• Joint Electronics Type Designation System
• Combinatory logic
• Computing
• Military
• Electronics

Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street,

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic programming
• Logic in computer science
• Computability theory
• Algebraic topology
• Substitution
• Unification
• Lambda calculus
• Sheaf
• Scheme
• Combinatory logic
• Morphism of algebraic varieties

Curry’s Last Problem: Imitating λ-β-reduction in Combinatory Logic J. Roger Hindley, Mathematics Department, Swansea University, Swansea SA2 8PP, U.K. Email: From talks at Mathematical Logic

Source URL: www.users.waitrose.com

FliPpr: A Prettier Invertible Printing System Kazutaka Matsuda1 and Meng Wang2 1 2

Source URL: www2.sf.ecei.tohoku.ac.jp

• Software engineering
• Computer programming
• Parsing algorithms
• Software
• Functional programming
• Parsing
• Logic in computer science
• Compiler construction
• Top-down parsing
• Monad
• Compiler-compiler
• Combinatory logic

The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Computability theory
• Lambda calculus
• Recursion
• Theoretical computer science
• Type theory
• Combinatory logic
• Church encoding
• Initial algebra
• Primitive recursive function

Jointly Learning to Parse and Perceive: Connecting Natural Language to the Physical World Jayant Krishnamurthy Computer Science Department Carnegie Mellon University

Source URL: rtw.ml.cmu.edu

• Logic in computer science
• Grammar
• Meaning
• Semantics
• Social philosophy
• Combinatory logic
• Logic
• Philosophy
• Abstraction

Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Combinatory logic
• Pure type system
• Lambda cube
• Fixed-point combinator
• Calculus of constructions
• Explicit substitution
• Natural deduction